PoD: Handle operations properly when domain is dying
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 12 Nov 2009 11:39:51 +0000 (11:39 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 12 Nov 2009 11:39:51 +0000 (11:39 +0000)
commit2eba88c6af6c2649ce768d5bbb8732ce6f1b8d52
treeb7d0b470191ca8cdde5f36d26ef02290319cd451
parent000e0c84201f4d8c2b3baee6701ef5555e163fc6
PoD: Handle operations properly when domain is dying

No populate-on-demand activities should happen when a domain is dying.
Especially, it is a bug for memory to be added to the PoD cache when
d->is_dying is non-zero, since if this happens after the cache has
been emptied, these pages will never be freed. This may cause "zombie
domains" to linger.

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/arch/x86/mm/p2m.c